$\forall$$T$:Type, $l$:$T$ List, $n$:$\mathbb{N}$. $n$$<\parallel$$l$$\parallel$ $\Rightarrow$ reverse\_select($l$;$n$) $\in$ $T$